1. Temporal logics : and their applications
Author: edited by Antony Galton
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
T46
1987
